추이 관계

집합 \(X\)위의 이항 관계 \(\sim\)이 다음의 조건을 만족시킨다면 \(\sim\)을 추이적(transitive)이라고 한다.

\[ \forall x, y, z \in X, \ x \sim y \to y \sim z \to x \sim z \]